a Theory

Results: 34070



#Item
301

CS364A: Problem Set #2 Due to the TAs by noon on Friday, October 25, 2013 Instructions: (0) We’ll grade this assignment out of a total of 75 points; if you earn more than 75 points on it, the extra points will be treat

Add to Reading List

Source URL: theory.stanford.edu

- Date: 2013-10-13 11:35:25
    302

    Class Descriptions Functional HIIT: This class is based around the theory of functional fitness with a mix of HIIT and Explosive movements. All Classes occur around the Synergy Machine in the wellness center and involve

    Add to Reading List

    Source URL: greaterlowellymca.org

    - Date: 2018-03-30 15:45:28
      303

      WEAK EQUIVALENCES BETWEEN CATEGORIES OF MODELS OF TYPE THEORY SIMON CHO, CORY KNAPP, CLIVE NEWSTEAD, LIANG ZE WONG It is conjectured that intensional type theory is the internal language of higher categories, in a manner

      Add to Reading List

      Source URL: hott-uf.github.io

      - Date: 2018-03-28 14:04:14
        304

        An Algorithmic Game Theory Primer∗ Tim Roughgarden† June 21, 2008 Abstract We give a brief and biased survey of the past, present, and future of research on the interface

        Add to Reading List

        Source URL: theory.stanford.edu

        - Date: 2008-06-21 19:11:44
          305

          A Threat in the Air How Stereotypes Shape Intellectual Identity and Performance Claude M. Steele Stanford University A general theory of domain identification is used to describe achievement barriers still faced by wome

          Add to Reading List

          Source URL: users.nber.org

          - Date: 2005-04-29 18:16:03
            306

            OUP UNCORRECTED PROOF – FIRSTPROOFS, Fri Oct, NEWGEN ­c hapter 20 Internationa l Re l at i ons Theory a nd C ybe r

            Add to Reading List

            Source URL: www.brandonvaleriano.com

            - Date: 2017-10-17 13:43:10
              307

              16 Graph Theory This chapter presents the study of graph theory with Sage, starting with a description of the Graph class (§16.1) and its methods (§16.2), then how to use

              Add to Reading List

              Source URL: members.loria.fr

              - Date: 2018-03-14 09:10:42
                308

                Differential Cohesive Type Theory (Extended Abstract)∗ Jacob A. Gross1 , Daniel R. Licata2 , Max S. New3 , Jennifer Paykin4 , Mitchell Riley2 , Michael Shulman5 , and Felix Wellen6 1 University of Pittsburgh, 2 Wesley

                Add to Reading List

                Source URL: hott-uf.github.io

                - Date: 2018-03-28 14:04:14
                  309

                  Linear logic as a logical framework by Dale Miller, Inria Abstract to be presented at SD 2017: Structures & Deduction Logical frameworks have seen three decades of design, theory, implementation, and applications. An ear

                  Add to Reading List

                  Source URL: anupamdas.com

                  - Date: 2017-08-04 11:45:45
                    310

                    A Normal Form for XML Documents MARCELO ARENAS and LEONID LIBKIN University of Toronto, Toronto, Ontario, Canada This article takes a first step towards the design and normalization theory for XML documents. We show that

                    Add to Reading List

                    Source URL: marenas.sitios.ing.uc.cl

                    - Date: 2013-04-26 05:57:03
                      UPDATE